How to Test
matklad.github.io·10h·
Discuss: Hacker News
🔍Static Analysis
Orchestrating IC verification: Harmonize complexity for faster time-to-market
semiwiki.com·9h
🔍Static Analysis
Tau² Benchmark in Action: Early Results and Key Takeaways
quesma.com·12h·
Discuss: Hacker News
🔧PLT
Breaking Verifiable Abstractions
alperenkeles.com·9h·
Discuss: Hacker News, r/programming
🔍Static Analysis
DDD in Symfony 7: Clean Architecture and Deptrac-enforced boundaries
dev.to·8h·
Discuss: DEV
🔍Static Analysis
GSoC 2025: Profiling and Testing Math Functions on GPUs
blog.llvm.org·22h
🔍Static Analysis
Test Context Pattern: Extracting Orchestration from Hexagonal Unit Tests
github.com·1d·
Discuss: DEV
🔍Static Analysis
CppCon 2025 Back to Basics: static, inline, const, and constexpr -- Andreas Fertig
isocpp.org·2h
🔧PLT
Should We Have Been using LLMs for Our Test Queries This Whole Time?
buttondown.com·4h
🔍Static Analysis
Baby's first type checker
austinhenley.com·1d·
Discuss: Lobsters, Hacker News
🔧PLT
How practical is AI-driven test-driven development on larger projects?
reddit.com·14h·
Discuss: r/ClaudeAI
🤖AI
Agent Evaluation vs Model Evaluation: What Devs Get Wrong
dev.to·1d·
Discuss: DEV
🔍Static Analysis
Parking Lot System Design (LLD in Action) - Part-1
kroki.io·1d·
Discuss: DEV
🔍Static Analysis
Systems Engineering for Agentic Applications
agenticapplications.substack.com·8h·
Discuss: r/programming
🔍Static Analysis
The Rust Journey of a JavaScript Developer • Day 4 (1/5)
doc.rust-lang.org·3h·
Discuss: DEV
🦀Rust
Solving Claude Code's API Blindness with Static Analysis
martinalderson.com·10h·
Discuss: Hacker News
💻Claude
Show HN: Fine-tuned Llama 3.2 3B to match 70B models for local transcripts
bilawal.net·3h·
Discuss: Hacker News
🐫Ocaml
Tripping Around REPL
vlaaad.github.io·12h·
Discuss: Hacker News
🪜Scala
Leveraging Formal Verification to find critical RTL bugs in a RISC-V core – a LUBIS EDA best practice
riscv.org·2d
🔍Static Analysis
Dialog - an Orchestration Layer for VoIP-Agent Applications
github.com·8h·
Discuss: r/node
🤖AI